Concurrency computer science) - PDFSEARCH.IO - Document Search Engine

Concurrency computer science)
Results: 359

#	Item
311	Models for Concurrency and Games Glynn Winskel The notion of deterministic/nondeterministic strategy is potentially as fundamental as the notion of function/relation. A broad enough notion of strategy must be planted fir Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-02-05 13:04:47 Computer science Logic in computer science Applied mathematics Denotational semantics Petri net Computation Theoretical computer science Concurrency Models of computation
312	ECSYM Part B2 EVENTS, CAUSALITY AND SYMMETRY Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-02-08 06:54:38 Applied mathematics Logic in computer science Programming language semantics Concurrency Denotational semantics Petri net Power domains Actor model Operational semantics Theoretical computer science Computer science Models of computation
313	Semantics of Multithreaded Java Jeremy Manson and William Pugh Institute for Advanced Computer Science and Department of Computer Science University of Maryland, College Park {jmanson,pugh}@cs.umd.edu January 11, 2002 Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2002-01-11 16:42:23 Concurrency control Concurrency Computer memory C++ Data types Java Memory Model Double-checked locking Immutable object Constructor Computing Software engineering Computer programming
314	Domain Theory for Concurrency —New Categorical Foundations EPSRC Research Grant Application Case for support Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-03-03 06:09:38 Logic Denotational semantics Semantics of programming languages Power domains Operational semantics Sheaf Π-calculus Concurrency Semantics Theoretical computer science Logic in computer science Mathematics
315	Relations in Concurrency Invited talk (corrected version) Glynn Winskel, University of Cambridge Computer Laboratory, England Abstract The theme of this paper is profunctors, and their centrality and ubiquity in understa Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-08-31 15:16:32 Sheaf theory Models of computation Functors Theoretical computer science Sheaf Initial and terminal objects Presheaf Direct image functor Denotational semantics Category theory Mathematics Abstract algebra
316	A New Approach to the Semantics of Multithreaded Java Jeremy Manson and William Pugh Institute for Advanced Computer Science and Department of Computer Science University of Maryland, College Park {jmanson,pugh}@cs.umd.e Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2003-01-13 16:21:08 Logic in computer science Java Memory Model Java platform Computer memory Concurrency Programming language semantics Memory model Consistency model Causal consistency Computing Computer architecture Software engineering
317	PIPE v2.5: a Petri Net Tool for Performance Modeling Pere Bonet, Catalina M. Llad´ o, Ramon Puigjaner Departament de Ci`encies Matem`atiques i Inform`atica Universitat de les Illes Balears 07071, Palma de Mallorca, Spai Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2007-08-04 17:03:23 Diagrams Formal methods Computing Computer science Algebraic Petri nets TAPAAL Model Checker Petri nets Models of computation Concurrency
318	For the ACS course Advanced Topics in Concurrency Event Structures, Stable Families and Concurrent Games Glynn Winskel [removed] Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-02-05 13:06:24 Computer science Applied mathematics Concurrency Denotational semantics Actor model Petri net Game semantics Domain theory Semantics Theoretical computer science Models of computation Logic in computer science
319	Events in Security Protocols Federico Crazzolara ∗ Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-01-15 10:14:41 Functions and mappings Applied mathematics Concurrency Diagrams Petri net Computer science Function Π-calculus Mathematics Models of computation Process calculi
320	CURRICULUM VITAE Name: Glynn Winskel Date and place of birth: [removed], Lancaster, England. Family: Married, with two daughters. Nationality: British. Work addresses: Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-05-18 09:50:08 Computer science Denotational semantics Dana Scott Semantics of programming languages Concurrency Programming language theory Gordon Plotkin Aarhus University Logic programming Theoretical computer science Logic in computer science Mathematics

UPDATE